Homomorphisms and Subalgebras of Ms-algebras

A new branch of the logical algebra: UP-algebras

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...

Characterizations of Categories of Commutative C*-subalgebras

We characterize the category of injective *-homomorphisms between commutative C*-subalgebras of various C*-algebras, namely C*-algebras of operators on separable Hilbert spaces, any finite-dimensional C*-algebra, and any commutative C*-algebra.

A Birkhoff Type Theorem for Strong Varieties

Algebraic systems with partial operations have different ways to interpret equality between two terms of the language. A strong identity is a formula which says that two terms are equal in the algebra if the existence of one of them implies the existence of the other one and in the case of existence their values are equal. A class of partial algebras defined by a set of strong identities is cal...

Automatic Continuity of Homomorphisms Between Banach algebras and Frechet algebras

REDEFINED FUZZY SUBALGEBRAS OF BCK/BCI-ALGEBRAS

Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.